Nuprl Definition : lname 11,40
lname(l) == l.2.2 
latex

Definitionst.2
FDL editor aliaseslname

origin